• Home
  • Advanced Search
  • Directory of Libraries
  • About lib.ir
  • Contact Us
  • History
تعداد ۲۱۰ پاسخ غیر تکراری از ۲۱۰ پاسخ تکراری در مدت زمان ۰,۸۴ ثانیه یافت شد.

121. 29, 2010. Proceedings-Model Checking Software: 17th International SPIN Workshop, Enschede, The Netherlands, September 27

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: / Alessandro Cimatti (auth.), Jaco van de Pol, Michael Weber (eds.)

Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)

Subject: COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY

Classification :
E-BOOK

122. 15, 2011. Proceedings-Model Checking Software: 18th International SPIN Workshop, Snowbird, UT, USA, July 14

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: / Jasmin Fisher (auth.), Alex Groce, Madanlal Musuvathi (eds.)

Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)

Subject: COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY

Classification :
E-BOOK

123. 16, 2010. Proceedings-Motion in Games: Third International Conference, MIG 2010, Utrecht, The Netherlands, November 14

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: / Demetri Terzopoulos (auth.), Ronan Boulic, Yiorgos Chrysanthou, Taku Komura (eds.)

Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)

Subject: COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY

Classification :
E-BOOK

124. 20, 2011. Proceedings-NASA Formal Methods: Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: / K. Rustan M. Leino (auth.), Mihaela Bobaru, Klaus Havelund, Gerard J. Holzmann, Rajeev Joshi (eds.)

Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)

Subject: COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY

Classification :
E-BOOK

125. 15, 2010. Proceedings-Network and Parallel Computing: IFIP International Conference, NPC 2010, Zhengzhou, China, September 13

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: / Xiaodong Zhang (auth.), Chen Ding, Zhiyuan Shao, Ran Zheng (eds.)

Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)

Subject: COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY

Classification :
E-BOOK

126. 9, 2011, Proceedings, Part I- INTERACT 2011: 13th IFIP TC 13 International Conference, Lisbon, Portugal, September 5ع۰ب‍Computer Interaction -Human

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: / mara (auth.), Pedro Campos, Nicholas Graham, Joaquim Jorge, Nuno Nunes, Philippe Palanque, Marco Winckler (eds.)عnio Cل‍Ant

Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)

Subject: COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY

Classification :
E-BOOK

127. 24, 2011. Proceedings, Part I-Image Analysis and Recognition: 8th International Conference, ICIAR 2011, Burnaby, BC, Canada, June 22

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: / lio Campilho (eds.)فKai Zeng, Zhou Wang (auth.), Mohamed Kamel, Aur

Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)

Subject: COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY

Classification :
E-BOOK

128. 9, 2011, Proceedings, Part II- INTERACT 2011: 13th IFIP TC 13 International Conference, Lisbon, Portugal, September 5ع۰ب‍Computer Interaction -Human

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: / Michael Haller, Christoph Richter, Peter Brandl, Sabine Gross, Gerold Schossleitner (auth.), Pedro Campos, Nicholas Graham, Joaquim Jorge, Nuno Nunes, Philippe Palanque, Marco Winckler (eds.)

Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)

Subject: COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY

Classification :
E-BOOK

129. 27, 2012. Proceedings, Part II-Image Analysis and Recognition: 9th International Conference, ICIAR 2012, Aveiro, Portugal, June 25

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: / lio Campilho, Mohamed Kamel (eds.)فAndreas Uhl, Peter Wild (auth.), Aur

Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)

Subject: COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY

Classification :
E-BOOK

130. 24, 2011. Proceedings, Part II-Image Analysis and Recognition: 8th International Conference, ICIAR 2011, Burnaby, BC, Canada, June 22

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: / lio Campilho (eds.)فa, Jim Murray (auth.), Mohamed Kamel, Aurغ‍Pedro Quelhas, Jeroen Nieuwland, Walter Dewitte, Ana Maria Mendon

Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)

Subject: COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY

Classification :
E-BOOK

131. 15, 2011. Proceedings, Part II-Ubiquitous Computing and Multimedia Applications: Second International Conference, UCMA 2011, Daejeon, Korea, April 13

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: / hoon Kim, Hojjat Adeli, Rosslin John Robles, Maricel Balitanas (eds.)-Jin Ah Kang, Hong Kook Kim (auth.), Tai

Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)

Subject: COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY

Classification :
E-BOOK

132. 23, 2010, Proceedings, Part II-voa de Varzin, Portugal, June 21Image Analysis and Recognition: 7th International Conference, ICIAR 2010, P

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: / lio Campilho, Mohamed Kamel (eds.)فXiao Dong, Guoyan Zheng (auth.), Aur

Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)

Subject: COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY

Classification :
E-BOOK

133. 9, 2011, Proceedings, Part III- INTERACT 2011: 13th IFIP TC 13 International Conference, Lisbon, Portugal, September 5ع۰ب‍Computer Interaction -Human

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: / lez (auth.), Pedro Campos, Nicholas Graham, Joaquim Jorge, Nuno Nunes, Philippe Palanque, Marco Winckler (eds.)عa, Pascual Gonzک P. Molina, Arturo S. GarcفY. Lionel Lawson, Jos-nez, JکDiego Mart

Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)

Subject: COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY

Classification :
E-BOOK

134. 9, 2011, Proceedings, Part IV- INTERACT 2011: 13th IFIP TC 13 International Conference, Lisbon, Portugal, September 5ع۰ب‍Computer Interaction -Human

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: / Yin Choong, Mary Theofanos (auth.), Pedro Campos, Nicholas Graham, Joaquim Jorge, Nuno Nunes, Philippe Palanque, Marco Winckler (eds.)-Celeste Lyn Paul, Emile Morse, Aiping Zhang, Yee

Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)

Subject: COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY

Classification :
E-BOOK

135. 7, 2011. Proceedings-Photogrammetric Image Analysis: ISPRS Conference, PIA 2011, Munich, Germany, October 5

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: / Jochen Meidow (auth.), Uwe Stilla, Franz Rottensteiner, Helmut Mayer, Boris Jutzi, Matthias Butenuth (eds.)

Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)

Subject: COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY

Classification :
E-BOOK

136. 4, 2010. Proceedings-Runtime Verification: First International Conference, RV 2010, St. Julians, Malta, November 1

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: / Chris Ackermann, Rance Cleaveland, Samuel Huang, Arnab Ray, Charles Shelton (auth.), Howard Barringer, Ylies Falcone, Bernd Finkbeiner, Klaus Havelund, Insup Lee, Gordon Pace, Grigore Rou, Oleg Sokolsky, Nikolai Tillmann (eds.)

Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)

Subject: COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY

Classification :
E-BOOK

137. 14, 2010. Proceedings- SAT 2010: 13th International Conference, SAT 2010, Edinburgh, UK, July 11ع۰ب‍Theory and Applications of Satisfiability Testing

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: / Yehuda Naveh (auth.), Ofer Strichman, Stefan Szeider (eds.)

Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)

Subject: COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY

Classification :
E-BOOK

138. 10, 2010. Proceedings-Testing Software and Systems: 22nd IFIP WG 6.1 International Conference, ICTSS 2010, Natal, Brazil, November 8

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: / Carlos Maldonado (eds.)فo, Josع‍Ina Schieferdecker (auth.), Alexandre Petrenko, Adenilso Sim

Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)

Subject: COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY

Classification :
E-BOOK

139. 20, 2011. Proceedings-Theory and Practice of Algorithms in (Computer) Systems: First International ICST Conference, TAPAS 2011, Rome, Italy, April 18

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: / Spaccamela, Michael Segal (eds.)-Shay Kutten (auth.), Alberto Marchetti

Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)

Subject: COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY

Classification :
E-BOOK

140. 17, 2011. Proceedings-Top Productivity through Software Reuse: 12th International Conference on Software Reuse, ICSR 2011, Pohang, South Korea, June 13

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: / Krzysztof Czarnecki (auth.), Klaus Schmid (eds.)

Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)

Subject: COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY

Classification :
E-BOOK
  • »
  • 11
  • 10
  • 9
  • 8
  • 7
  • 6
  • 5
  • 4
  • 3
  • 2
  • 1
  • «

Proposal/Bug Report

Warning! Enter The Information Carefully
Send Cancel
This website is managed by Dar Al-Hadith Scientific-Cultural Institute and Computer Research Center of Islamic Sciences (also known as Noor)
Libraries are responsible for the validity of information, and the spiritual rights of information are reserved for them
Best Searcher - The 5th Digital Media Festival